Logic in computer science